1. An introduction to combinators and )Lambda(-calculus
Author: J. Roger Hindley, Jonathand P. Seldin
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56I5
2. Combinators, [lambda]-Terms and Proof Theory
Author: by Sören Stenlund.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.,Philosophy (General)
3. Foundations of mathematics :
Author: Erwin Engeler
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA9
.
8
E795
2012
4. Introduction to combinators and ]lambda[-calculus
Author: Hindley, J. Roger
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Combinatory logic,، Lambda calculus
Classification :
QA
9
.
5
.
H56
1986
5. Lambda-calculus and combinators, an introduction
Author: Hindley, J. Roger.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H565
2008
6. Lambda-calculus and combinators : an introduction
Author: J. Roger Hindley, Jonathan P. Seldin
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
5
.
H56L3
7. (Lambda)-calculus and computer science theory
Author: / IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche
Library: Library of College of Science University of Tehran (Tehran)
Subject: Combinatory logic -- Congresses,Programming languages (Electronic computers) -- Congresses
Classification :
QA
9
.
5
.
L35
8. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Combinatory logic-- Congresses,، Programming languages )Electronic computers(-- Congresses
Classification :
QA
9
.
5
.
L35
9. Lambda-calculus, combinators, and functional programming
Author: G.E. Revesz
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus,، Combinatory logic,، Functional programming languages
Classification :
QA
9
.
5
.
R48
1988
10. Lambda-calculus, combinators, and functional programming
پدیدآورنده : G.E. Revesz
موضوع : Lambda calculus,Combinatory logic,Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Proofs and types
Author: Girard, Jean-Yves
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
Classification :
QA
9
.
54
.
G572
1989
12. Rewriting techniques and applications :
Author: N. Dershowitz, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
Classification :
QA267
.
I555
1989
13. λ-Calculus and Computer Science Theory :
Author: edited by C. Böhm. B�ohm, C.,
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA9
.
5
E358
1975
